$\forall$$A$:$\mathbb{P}$. ($A$ $\wedge$ False) $\Leftarrow\!\Rightarrow$ False